home *** CD-ROM | disk | FTP | other *** search
- /* $Header: /var/home/cs354/.spim/RCS/data.h,v 1.1 1992/10/07 04:07:09 cs354 Exp $ */
-
- extern void user_kernel_data_segment(int to_kernel);
- extern void data_begins_at_point(unsigned long addr);
- extern void k_data_begins_at_point(unsigned long addr);
- extern void align_data(int alignment);
- extern void enable_data_alignment(void);
- extern unsigned long current_data_pc(void);
- extern void increment_data_pc(int value);
- extern void extern_directive(char *name,int size);
- extern void lcomm_directive(char *name,int size);
- extern void store_string(char *string,int length,int null_terminate);
- extern void store_byte(int value);
- extern void store_half(int value);
- extern void store_word(int value);
- extern void store_double(double *value);
- extern void store_float(double *value);
-